1. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A 25-Year Perspective on Logic Programmin
Author: / edited by Agostino Dovier, Enrico Pontelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Information theory.,Logic design.,Artificial intelligence.
3. A 25-Year perspective on logic programming
Author: / Agostino Dovier, Enrico Pontelli (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Italian Association for Logic Programming,Logic programming
Classification :
QA76
.
63
.
T84
2010
4. A perspective of constraint-based reasoning :
Author: edited by H.W. Güsgen, J. Hertzberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
Classification :
QA75
.
E358
1992
5. A primer on scientific programming with Python /
Author: Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
Classification :
QA76
.
73
.
P98
6. A science of operations
Author: / by Peter Mark Priestley
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA76
.
6
.
P75
2010
7. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
8. A science of operations: Machines, logic and the invention of programming
Author: / Mark Priestley (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
9. A tight, practical integration of relations and functions
Author: Boley, Harold
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
10. A 25-year perspective on logic programming
Author: [edited by]& Agostino Dovier, Enrico Pontelli
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
11. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Author: Agostino Dovier, Enrico Pontelli )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
Classification :
QA
76
.
63
.
A14
2010
12. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
13. AI and Cognitive Science '92 :
Author: edited by Kevin Ryan, Richard F.E. Sutcliffe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
14. AI and cognitive science :
Author: second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligence artificielle -- Actes de congrès.
15. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
16. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
17. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
18. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
19. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
20. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
